منابع مشابه
RAPPORT Logic Programming and Negation : A Survey
We survey here various approaches which were proposed to incorporate negation in logic programs. We concentrate on the proof-theoretic and model-theoretic issues and the relationships between them.
متن کاملNorges Teknisk-naturvitenskapelige Universitet
This thesis presents a framework of a passively replicated transaction manager. By integrating transactions and replication, two well known fault tolerance techniques, the framework provides high availability for transactional systems and better support for non-deterministic execution for replicated systems. A prototype Java implementation of the framework, based on Jgroup/ARM and Jini, has bee...
متن کاملNorges Teknisk-naturvitenskapelige Universitet
State estimation in high dimensional systems remains a challenging part of real time analysis. The ensemble Kalman filter addresses this challenge by using Gaussian approximations constructed from a number of samples. This method has been a large success in many applications. Unfortunately, for some cases, Gaussian approximations are no longer valid and the filter does not work so well. In this...
متن کاملIFPRI 2020 Conference: Paper and Internet Survey Results
Concerned that millions of the world's poorest and hungry people remain in poverty and hunger, the International Food Policy Research Institute (IFPRI) facilitated a consultation process, which includes the conference "Taking Action for the World's Poor and Hungry People" on October 1719 in Beijing, to examine what new and different action is required to improve their welfare." Of the 400 parti...
متن کاملVirtual Rapport
Effective face-to-face conversations are highly interactive. Participants respond to each other, engaging in nonconscious behavioral mimicry and backchanneling feedback. Such behaviors produce a subjective sense of rapport and are correlated with effective communication, greater liking and trust, and greater influence between participants. Creating rapport requires a tight senseact loop that ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Surveyjournalen
سال: 2021
ISSN: 2001-9327
DOI: 10.15626/sj.20200703